TSTP Solution File: DAT119^1 by Nitpick---2016